Total Books: 1 - 3 /3
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lee mas
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lee mas
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lee mas
Total Books: 1 - 3 /3
